- 按分解律反演的定理証明
- non-resolution theorem proving: 非解析定理求解
- resolution theorem proving: 归结定理证明消解式定理证明
- resolution theorem-proving: 解析定理证明
- resolution refutation: 归结反演, 分解反驳
- theorem proving: 定理证明
下载手机词典可随时随地查词查翻译
theorem proving by resolution refutation中文什么意思
发音:
- 按分解律反演的定理証明
下载手机词典可随时随地查词查翻译
相关词汇
相邻词汇
- theorem on flows in network 什么意思
- theorem on multiplication of probabilities 什么意思
- theorem on regular set 什么意思
- theorem on the composition of velocities 什么意思
- theorem proving by resolution 什么意思
- theorem proving by rule based system 什么意思
- theorem proving for robot problem solving 什么意思
- theorem proving system 什么意思
- theorem proving use of resolution 什么意思
- theorem schema 什么意思